Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
191	There is one order-complete ordered-field Jonathan L.F. King University of Florida, Gainesville FL[removed], USA Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2010-09-15 10:57:06 Symbol Set theory Constructible universe Ordinal arithmetic Curry–Howard correspondence Mathematical logic Mathematics Ordinal numbers
192	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
193	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory
194	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
195	THREE LECTURES ON HYPERGEOMETRIC FUNCTIONS EDUARDO CATTANI Add to Reading List Source URL: www.famaf.unc.edu.ar Language: English - Date: 2006-08-09 13:39:57 Ordinary differential equations Hypergeometric function Hypergeometric series Symbol Generalized hypergeometric function Curry–Howard correspondence Ordinal arithmetic Mathematics Mathematical analysis Mathematical series
196	DRAFT Canonicity for 2-Dimensional Type Theory Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-27 08:12:31 Proof theory Algebraic topology Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Valuation Fundamental group Connection Abstract algebra Mathematics Topology
197	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic
198	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
199	Theoretical Computer Science[removed]–252 From constructivism to computer science 1 Add to Reading List Source URL: www.informatik.uni-ulm.de Language: English - Date: 1998-11-22 11:04:55 Mathematical constructivism Proof theory Epistemology Philosophy of mathematics Intuitionistic logic Realizability Curry–Howard correspondence Constructivism Brouwer–Heyting–Kolmogorov interpretation Logic Mathematical logic Mathematics
200	Jean-Louis Krivine LAMBDA-CALCULUS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-07-01 11:36:37 Lambda calculus Logic in computer science Predicate logic Combinatory logic Type theory Fixed-point combinator Free variables and bound variables Curry–Howard correspondence System F Theoretical computer science Mathematics Mathematical logic

UPDATE